Orbitopal Fixing
نویسندگان
چکیده
The topic of this paper are integer programming models in which a subset of 0/1-variables encode a partitioning of a set of objects into disjoint subsets. Such models can be surprisingly hard to solve by branch-and-cut algorithms if the order of the subsets of the partition is irrelevant. This kind of symmetry unnecessarily blows up the branchand-cut tree. We present a general tool, called orbitopal fixing, for enhancing the capabilities of branch-and-cut algorithms in solving such symmetric integer programming models. We devise a linear time algorithm that, applied at each node of the branch-and-cut tree, removes redundant parts of the tree produced by the above mentioned symmetry. The method relies on certain polyhedra, called orbitopes, which have been investigated in [11]. It does, however, not add inequalities to the model, and thus, it does not increase the difficulty of solving the linear programming relaxations. We demonstrate the computational power of orbitopal fixing at the example of a graph partitioning problem motivated from frequency planning in mobile telecommunication networks.
منابع مشابه
Detecting Orbitopal Symmetries
Orbitopes can be used to handle symmetries which arise in integer programming formulations with an inherent assignment structure. We investigate the detection of symmetries appearing in this approach. We show that detecting so-called orbitopal symmetries is graph-isomorphism hard in general, but can be performed in linear time if the assignment structure is known. Symmetries are usually not des...
متن کاملSolving k-way Graph Partitioning Problems to Optimality: The Impact of Semidefinite Relaxations and the Bundle Method
This paper is concerned with computing global optimal solutions for maximum k-cut problems. We improve on the SBC algorithm of Ghaddar, Anjos and Liers in order to compute such solutions in less time. We extend the design principles of the successful BiqMac solver for maximum 2-cut to the general maximum k-cut problem. As part of this extension, we investigate different ways of choosing variabl...
متن کاملComplement-fixing antibodies in cattle experimentally infected with Theileria annulata or vaccinated with tissue cultures
متن کامل
Effect of Bio-Fertilizers Containing Nitrogen and Phosphorus Fixing Bacteria on Yield and Yield Components of Faba Bean
This study set out to investigate the effect of bio-fertilizers containing nitrogen-fixing bacteria and phosphorus on grain yield and yield components of Faba bean. To this end a factorial experiment on the basis of randomized complete block design with four replications was conducted in Behbahan region at South eastern part of Khuzestan Province of Iran. The experimental treatments included Ni...
متن کامل